Synthesizing a Lego Forklift Controller in GR(1): A Case Study
نویسندگان
چکیده
منابع مشابه
Synthesizing a Lego Forklift Controller in GR(1): A Case Study
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from a given specification. GR(1) is a well-known fragment of linear temporal logic (LTL) where synthesis is possible using a polynomial symbolic algorithm. We conducted a case study to learn about the challenges that software engineers may face when using GR(1) synthesis for the development of a re...
متن کاملa study on construction of iranian life tables: the case study of modified brass logit system
چکیده ندارد.
15 صفحه اولa study of baudrillards ideas in brian moores fiction
پیدایش مرحله ی جدیدی از نظام سرمایه داری بعد از جنگ جهانی دوم همزمان است با ظهور عصر اطلاعات و رسانه جمعی. در چنین جامعه ای سیر آزادانه ی نشانه ها در فضای بی اساس مجازی بر سرعت فرسایش واقعیت می افزاید. به اعتقاد بودریار، فقدان واقعیت به واسطه ی شبیه سازی آن و تولید حاد واقعیت (hyperreality) پنهان خواهد ماند. این پژوهش بر آن است که جامعه فرانوین توصیف شده در سه رمان بریان مور را با توجه به نظر...
15 صفحه اولa study on rate making and required reserves determination in reinsurance market: a simulation
reinsurance is widely recognized as an important instrument in the capital management of an insurance company as well as its risk management tool. this thesis is intended to determine premium rates for different types of reinsurance policies. also, given the fact that the reinsurance coverage of every company depends upon its reserves, so different types of reserves and the method of their calc...
the trace of translators ideology in literary translations: a case study of persian translation of the scaret letter
رساله ی حاضر تلاشی است برای بررسی مبحث ایدئولوژی در ترجمه ادبی و تاثیرات آن بر کار مترجم، اعم از گزینش واژگان و ساختارهای دستوری؛ با تمرکز بر تحلیل انتقادی گفتمان در متن مبدأ و متن مقصد، که در این رساله متن مبدأ رمان داغ ننگ اثر ناتانیل هاوثورن و ترجمه فارسی سیمین دانشور به عنوان متن مقصد مورد بررسی قرار گرفته است. تجزیه و تحلیل رمان های مورد نظر به طور عمده بر اساس مدل پیشنهادی فرحزاد(2007) بر...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.202.5